Test-Driven Development of Model Transformations
نویسندگان
چکیده
Key concepts [1] Short development iterations (often only a few minutes) Pre-written test cases Each iteration produces code necessary to pass the test cases TDD requires little overhead for the specification of test data, implementing test stubs, test initiation, executing test cases, the interpretation of test results, etc. Well-established development technique in code-centric development Became popular with agile process models such as extreme programming [2] Typical subjects to unit testing are modules or classes Their behavior is tested by calling the declared functions or methods Test cases are typically target/actual-comparisons Functions or methods most often can be tested almost independently from each other with little effort ⇒ Feasibility of short iteration cycles and incremental development ⇒ TDD works! A model transformation takes input models conforming to the source meta model(s), produces output models conforming to the target meta model(s), is specified through a set of different transformation rules [3].
منابع مشابه
A Method for Testing Model to Text Transformations
Model Transformations are the core of Model Driven Development; hence for generating high quality artifacts we need methods able to assure the quality of model transformations. In this work, we focus on Model to Text Transformations and propose a method, composed by a set of integrated approaches and a series of guidelines, for testing model transformations. We classify the test approaches comp...
متن کاملApplying Black-Box Testing to Model Transformations in the Model Driven Architecture Context
Testing model transformations has played a leading role with the dissemination of MDA in software development processes. Software testing based on black-box testing, together with the “category partitioning” method, can be efficiently used in order to conduct the verification of model transformations. This study employs software testing techniques to an ATL model transformation in the MDA conte...
متن کاملTowards automated model driven development with model transformation and domain specific languages
Modeling plays a very important role in dealing with the complexity of software systems during their development and maintenance processes. As more complex models need to be developed, the importance of transformations between models grows. Model transformations allow the definition and implementation of operations on models, also provide a chain that can enable the automated development of a s...
متن کاملTesting Model Transformations: A case for Test Generation from Input Domain Models
Model transformations can automate critical tasks in model-driven development. Thorough validation techniques are required to ensure their correctness. In this lecture we focus on testing model transformations. In particular, we present an approach for systematic selection of input test data. This approach is based on a key characteristic of model transformations: their input domain is formally...
متن کاملVerification of Model Transformations
Model transformations are a central element of model-driven development (MDD) approaches such as the model-driven architecture (MDA). The correctness of model transformations is critical to their effective use in practical software development, since users must be able to rely upon the transformations correctly preserving the semantics of models. In this paper we define a formal semantics for m...
متن کاملTesting M2T Transformations - A Systematic Literature Review
Context: Model-Driven Development (MDD) is about to become a reality in the development of enterprise information systems due to its benefits, such as reduction of development and maintenance costs, and support for controlled evolution. Consequently, testing model transformations, considering their high complexity particularly regarding Model-to-Text (M2T) transformations, plays a key role to i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009